341. Resolution Proof Systems :
پدیدآورنده : by Zbigniew Stachniak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing.,Artificial intelligence.,Computer science.
رده :
QA76
.
9
.
A96
B993
1996
342. Sensation and Measurement :
پدیدآورنده : edited by Howard R. Moskowitz, Bertram Scharf, Joseph C. Stevens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.
رده :
QP435
.
E358
1974
343. Solving least squares problems /
پدیدآورنده : Charles L. Lawson, Richard J. Hanson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Least squares-- Data processing.,Álgebra linear numérica.,Análise numérica.,ANALYSIS (MATHEMATICS),DATA PROCESSING.,Least squares-- Data processing.,Least squares-- Data processing.,LEAST SQUARES.,Methode der kleinsten Quadrate,Mínimos quadrados.,Moindres carrés-- Informatique.,Numerical analysis.,Probabilités.
رده :
QA275
.
L38
1995
344. Some Tapas of Computer Algebra
پدیدآورنده : edited by Arjeh M. Cohen, Hans Cuypers, Hans Sterk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Algebra.,Algorithms.,Combinatorics.,Mathematics.
345. Some tapas of computer algebra
پدیدآورنده : Arjeh M. Cohen,Hans Cuypers,Hans Sterk (eds.)
موضوع : Algebra - Data processing
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
346. Some tapas of computer algebra
پدیدآورنده : / Arjeh M. Cohen, Hans Cuypers, Hans Sterk (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra, Data processing
رده :
QA155
.
7
.
E4
,
S65
1999
347. Some tapas of computer algebra
پدیدآورنده : / Arjeh M. Cohen, Hans Cuypers, Hans Sterk (eds.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algebra- Data processing
رده :
QA155
.
7
.
E4
,
S65
1999
348. Some tapas of computer algebra
پدیدآورنده : / Arjeh M. Cohen, Hans Cuypers, Hans Sterk (eds.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Algebra- Data processing
رده :
QA155
.
7
.
E4
,
S65
1999
349. Some tapas of computer algebra
پدیدآورنده : Arjeh M. Cohen, Hans Cuypers, Hans Sterk )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Data processing ، Algebra
رده :
QA
155
.
7
.
E4
S65
1999
350. Some tapes of computer algebra
پدیدآورنده : / edited by A.M. Cohen, Hans Cuypers and H. Sterk
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Algebra- Data processing
رده :
QA155
.
7
.
E4S65
1999
351. Sparse matrices /
پدیدآورنده : Reginald P. Tewarson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Matrices-- Data processing.,Matrices-- Informatique.,MATHEMATICS-- Algebra-- Elementary.,Matrices-- Data processing.
رده :
QA188
.
T48
1973eb
352. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
353. Symbolic C++ : an introduction to computer algebra using object-oriented programming
پدیدآورنده : Tan, Kiat Shi, 2791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Object-oriented programming )Computer science(,، C++ )Computer program language(,Data processing ، Algebra
رده :
QA
76
.
64
.
T24
2000
354. Symbolic and algebraic computation: EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979
پدیدآورنده : edited by Edward W. Ng.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresess ، Algebra
رده :
QA
76
.
L28
Vol
.
72
355. Symbolic and algebraic computation : International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988 : Proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
358
356. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Mathematics -- Data processing,Data processing --Congresses ، Algebra
رده :
QA
76
.
95
.
I57
1988
357. Symbolic and algebraic computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: proceedings
پدیدآورنده :
موضوع : Data processing Congresses ، Mathematics,Data processing Congresses ، Algebra
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
358. Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings
پدیدآورنده : P. Gianni, ed,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Mathematics - Data processing - Congresses,Algebra - Data processing - Congresses
رده :
QA
.
I57
76
.
95
1988
359. Symbolic and numerical scientific computation :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Differential equations ; Numerical solutions ; Congresses ; Numerical calculations ; Congresses ; Algebra ; Data processing ; Congresses ;
360. Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده : edited by Manfred Kerber and Michael Kohlhase
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000
